feat(cli): --emit-types — write the proven types back out as TypeScript (#7685, EXPERIMENTAL) - #7688

#!/bin/bash
# Establish the ordering `chain_classes` produces (base-first or derived-first).
ast-grep run --pattern 'fn chain_classes($$$) { $$$ }' --lang rust crates/perry-codegen/src/collectors/
rg -n -C10 'fn chain_classes' crates/perry-codegen/src/

#!/bin/bash
set -euo pipefail

echo "== emit_types relevant sections =="
sed -n '150,245p' crates/perry-codegen/src/emit_types.rs

echo
echo "== chain_classes implementation =="
sed -n '668,720p' crates/perry-codegen/src/collectors/ptr_shape.rs

echo
echo "== declared_shape_fields call sites =="
rg -n "declared_shape_fields|selected_shape|shape_fields|chain_classes" crates/perry-codegen/src -C 3

echo
echo "== shape field definitions and methods =="
rg -n "struct Shape|impl Shape|struct ShapeField|fn render|fn is_emittable" crates/perry-codegen/src/emit_types.rs -C 5

echo
echo "== code generation path for anonymous classes =="
rg -n "__anon_class|__AnonShape|anon_class|new \\(class extends|extends Base" crates/perry-codegen/src crates/perry/tests packages dist -C 3 || true

echo
echo "== tests around shape/interface generation =="
fd -e rs -e ts -e d.ts . crates/perry-codegen/src crates/perry/tests packages dist | sed -n '1,120p'

#!/bin/bash
set -euo pipefail

echo "== anon class lowering =="
fd -i 'non_ident.rs' crates/perry-hir/src/lower | xargs sed -n '1,220p'

echo
echo "== synthetic class constructors and extends handling =="
rg -n "__anon_class_|__AnonShape_|anon_shape_class_for_element_type|anon_class|extends_name|fields:" crates/perry-hir/src/lower crates/perry-codegen/src -g '*.rs' -C 4 | sed -n '1,220p'

echo
echo "== relevant structs/tests =="
fd -i 'anon.*shape|shape.*loop|new.*anon|class.*anon' crates/perry/hir crates/perry-codegen -g '*.rs' | sed -n '1,80p'

#!/bin/bash
# Show the derive attributes on `Entry` and on `ShapeField`.
rg -n -B6 'pub struct Entry' crates/perry-codegen/src/opt_report/mod.rs
rg -n -B6 'pub struct ShapeField' crates/perry-codegen/src/emit_types.rs
# Any deserialization of the report entries anywhere?
rg -n -C3 'Deserialize' crates/perry-codegen/src/opt_report/

#!/bin/bash
set -euo pipefail

echo "## opt_report outline"
ast-grep outline crates/perry-codegen/src/opt_report/mod.rs --view compact || true

echo "## relevant opt_report struct sections"
sed -n '400,535p' crates/perry-codegen/src/opt_report/mod.rs | cat -n

echo "## selected_shape definition and nearby usage"
sed -n '1,230p' crates/perry-codegen/src/emit_types.rs | cat -n
sed -n '230,290p' crates/perry-codegen/src/emit_types.rs | cat -n

echo "## ptr_shape collector relevant lines"
sed -n '220,260p' crates/perry-codegen/src/collectors/ptr_shape.rs | cat -n

echo "## deserialize/import checks"
rg -n 'Deserialize|serde_json::from|Entry|opt_report' crates/perry-codegen/src -S

echo "## rust parser serde derives structural check"
python3 - <<'PY'
from pathlib import Path
import re

files = [
    Path("crates/perry-codegen/src/opt_report/mod.rs"),
    Path("crates/perry-codegen/src/emit_types.rs"),
]
for path in files:
    text = path.read_text()
    print(f"\n## {path}")
    for struct in ("struct Entry", "struct ShapeField"):
        m = re.search(r"#\[derive\((.*?)\)\]\s*pub\s+" + struct + r"\s*(?:|<[^>]*>)\s*\{", text, re.S)
        print(f"{struct}: derives={m.group(1)}.serialize={'serde::Serialize' in m.group(1)}.deserialize={'serde::Deserialize' in m.group(1)}" if m else "not found")
PY

#!/bin/bash
set -euo pipefail

ast-grep outline crates/perry/src/commands/compile --items all --type function
rg -nP --type rust -C 5 \
  'fn\s+compile_for_(wasm|ios_widget|watchos_widget|android_widget|wearos_tile)|emit_types|emit-types' \
  crates/perry/src/commands

cargo check -p perry --profile perry-dev

#!/bin/bash
set -euo pipefail

echo "== run_pipeline around return targets and sidecar write =="
sed -n '420,550p' crates/perry/src/commands/compile/run_pipeline.rs | cat -n | sed 's/^/line /'

echo "== targets.rs function blocks for relevant compile handlers =="
rg -n --type rust 'pub\s+fn\s+compile_for_(web|wasm|ios_widget|watchos_widget|android_widget|wearos_tile)|emit_types_path|opt_report_format|OptReportFormat|--emit-types' crates/perry/src/commands/compile/targets.rs crates/perry/src/commands/compile/run_pipeline.rs -C 8

echo "== precise call sites in compile handlers =="
python3 - <<'PY'
import re
from pathlib import Path
p=Path('crates/perry/src/commands/compile/targets.rs')
text=p.read_text()
for fn in ['compile_for_web', 'compile_for_wasm', 'compile_for_ios_widget', 'compile_for_watchos_widget', 'compile_for_android_widget', 'compile_for_wearos_tile']:
    m=re.search(r'pub\s+fn\s+'+re.escape(fn)+r'\([^{]*(?:\{(?!\w+::\{|pub\s+fn\s+)\n(?s).*?(?=\n    \})', text)
    if not m:
        m=re.search(r'pub\s+fn\s+'+re.escape(fn)+r'\([^{]*(?:\{(?!\w+::\{|pub\s+fn\s+)[\s\S]*?(?=\n\})', text)
    print(f'\n-- {fn} --')
    if not m:
        print('not found')
        continue
    # simple brace balance
    s=m.start(); e=text.find('}', s); depth=0; ok=False
    # not relying on one char; scan from first "{" after signature
    start=text.find('{',s); depth=1; e=0
    for i,ch in enumerate(text[start:]):
        if ch=='{': depth+=1
        elif ch=='}':
            depth-=1
            if depth==0:
                e=start+i
                break
    body=text[s:e+1]
    lines=body.splitlines()
    for idx,line in enumerate(lines,1):
        if any(kw in line for kw in ['emit_types_path', 'opt_report_format', 'OptReportFormat', '--emit-types']):
            print(f'{idx}: {line}')
    print(body)
PY

echo "== perry_codegen opt/emit symbols =="
rg -n --type rust 'pub\s+struct|struct\s+.*Entries|pub\s+fn\s+take_entries|render_json|render_ts|emit_types' crates/perry/src -C 4

#!/bin/bash
set -euo pipefail

echo "== Locate relevant symbols =="
rg -n --type rust 'pub\s+fn\s+(compile_for_ios_widget|compile_for_watchos_widget|compile_for_android_widget|compile_for_wearos_tile|compile_for_web|compile_for_wasm)\(' crates/perry/src/commands/compile/targets.rs
rg -n --type rust 'PubArgs|CompileArgs|struct\s+.*Args|emit_types|opt_report' crates/perry/src/commands/compile -g '*.rs' | head -200

echo "== Read compile_for wasm/web/widget bodies by file locations =="
wc -l crates/perry/src/commands/compile/targets.rs
rg -n --type rust 'compile_for_(web|wasm|ios_widget|watchos_widget|android_widget|wearos_tile)\(' crates/perry/src/commands/compile/targets.rs

python3 - <<'PY'
from pathlib import Path
p=Path('crates/perry/src/commands/compile/targets.rs')
lines=p.read_text().splitlines()
print("file lines:", len(lines))
def find_block(name):
    for i,l in enumerate(lines,1):
        if f"compile_for_{name}(" in l:
            return i
for name in ["wasm","web","ios_widget","watchos_widget","android_widget","wearos_tile"]:
    i=find_block(name)
    print("\n==", name, "starts line", i, "==")
    if not i: continue
    # Print 200 lines if available and enough
    for j in range(i, min(i+220, len(lines)+1)):
        print(f"{j}: {lines[j-1]}")

# Read CLI arg definitions around emit
for defn in ["OptReportFormat", "emit_types", "opt_report"]:
    print("\n== snippets around", defn, "==")
    for j,l in enumerate(lines,1):
        if defn in l:
            lo=max(1,j-20); hi=min(len(lines),j+80)
            for k in range(lo,hi+1):
                print(f"{k}: {lines[k-1]}")

# Read run_pipeline call/signature context
r=Path('crates/perry/src/commands/compile/run_pipeline.rs')
rl=r.read_text().splitlines()
for j,l in enumerate(rl,1):
    if "PubArgs" in l or "fn run_pipeline" in l or "compile_for_wasm" in l or "compile_for_ios_widget" in l:
        print(f"{j}: {l}")
PY

#!/bin/bash
set -euo pipefail

echo "== file sizes and candidate files =="
wc -l crates/perry/src/commands/compile/targets.rs crates/perry/src/commands/compile/run_pipeline.rs crates/perry/src/commands/compile/cli*.rs crates/perry/src/commands/compile/*.rs 2>/dev/null | sort -n | tail -50

echo "== exact symbol definitions/usages =="
rg -n 'compile_for_(web|wasm|ios_widget|watchos_widget|android_widget|wearos_tile)|compile_for_wasm|compile_for_web|emit_types|opt_report|OptReportFormat|OptReportFormat|PubArgs|CompileArgs|struct\s+.*Args' crates/perry/src/commands/compile crates/perry/src -S --glob '*.rs' | head -300

echo "== targets.rs excerpts without regex compilation =="
awk '/compile_for_wasm|compile_for_web|compile_for_ios_widget|compile_for_watchos_widget|compile_for_android_widget|compile_for_wearos_tile|emit_types|opt_report|OptReportFormat/{flag=1} flag{print NR": "$0} flag && /^pub fn |^fn /{if(NR>start+220) flag=0} END{}' crates/perry/src/commands/compile/targets.rs | sed -n '1,260p'

echo "== cli args emit/opt report =="
rg -n 'emit_types|opt_report|OptReportFormat' crates/perry/src -S --glob '*.rs' -C 5 | sed -n '1,220p'

#!/bin/bash
set -euo pipefail

echo "== target handler signatures and early exit context =="
rg -n --type rust 'pub fn compile_for_(wasm|ios_widget|watchos_widget|android_widget|wearos_tile|web)\(|pub fn compile_for_wasm|pub fn compile_for_web' crates/perry/src/commands/compile/targets.rs -C 3

echo "== target handler call sites =="
rg -n --type rust 'compile_for_(wasm|ios_widget|watchos_widget|android_widget|wearos_tile|web)\(' crates/perry/src -S

echo "== relevant targets.rs ranges =="
for pat in 'compile_for_wasm\(' 'compile_for_ios_widget\(' 'compile_for_watchos_widget\(' 'compile_for_android_widget\(' 'compile_for_wearos_tile\(' 'compile_for_web\(' 'OptReportFormat' 'emit_types'; do
  echo "--- $pat ---"
  rg -n --type rust "$pat" crates/perry/src/commands/compile/targets.rs -C 8 | sed -n '1,220p'
done

echo "== command arg definitions for emit/opt flags =="
rg -n --type rust 'emit_types|opt_report|OptReportFormat|pub struct .*Args|struct .*Args' crates/perry/src --glob '*.rs' -C 6 | sed -n '1,260p'

#!/bin/bash
set -euo pipefail

echo "== list compile command files and perry command module =="
git ls-files crates/perry/src/commands/compile | sed -n '1,120p'
rg -n --type rust 'pub\s+mod\s+compile|mod\s+compile|commands::compile|run_pipeline::run_pipeline|PubArgs' crates/perry/src crates -S --glob '*.rs' | sed -n '1,200p'

echo "== search all perry source for compile_for identifiers =="
rg -n 'compile_for_(web|wasm|ios_widget|watchos_widget|android_widget|wearos_tile|android|ios|watchos|android_widget|wearos_tile|ios_widget|watchos_widget|web|wasm)' crates/perry/src --glob '*.rs' -S | sed -n '1,260p'

echo "== search for type definitions containing emit_types/opt_report in perry src =="
rg -n 'emit_types|opt_report|OptReportFormat' crates/perry/src --glob '*.rs' -S | sed -n '1,260p'

#!/bin/bash
set -euo pipefail

for start in 228 545 999 1265 1365 1520; do
  echo "== targets.rs lines $((start-10)) to $((start+140)) =="
  sed -n "$((start-10)),$((start+140))p" crates/perry/src/commands/compile/targets.rs | cat -n | sed -n '1,160p'
done

echo "== compile.rs run around target handlers =="
sed -n '100,220p' crates/Autobench/perry/src/commands/compile.rs 2>/dev/null || sed -n '100,220p' crates/perry/src/commands/compile.rs | cat -n | sed -n '1,130p'

#!/bin/bash
set -euo pipefail

echo "== run_pipeline dispatch and all compile_for paths =="
sed -n '440,515p' crates/perry/src/commands/compile/run_pipeline.rs | cat -n | sed 's/^/line /'

echo "== targets.rs later return blocks =="
sed -n '1600,1730p' crates/perry/src/commands/compile/targets.rs | cat -n | sed 's/^/line /'

echo "== search for --emit-types support text in docs/comments =="
rg -n 'emit-types|emit_types|types.*sidecar|sidecar.*types|emit.*types' crates/perry/src README.md docs . --glob '*.md' --glob '*.rs' -S | sed -n '1,220p'

echo "== deterministic control-flow verifier for early-return target bodies =="
python3 - <<'PY'
import re
from pathlib import Path
p=Path('crates/perry/src/commands/compile/targets.rs')
run=Path('crates/perry/src/commands/compile/run_pipeline.rs')
lines=p.read_text().splitlines()
handlers=['compile_for_web','compile_for_wasm','compile_for_ios_widget','compile_for_watchos_widget','compile_for_android_widget','compile_for_wearos_tile']
for fn in handlers:
    m=re.search(fr'{re.escape(fn)}\s*\([\s\S]*?\)\s*->\s*Result<CompileResult>', ''.join(lines))
    if not m:
        continue
    start=lines.index(next(l for l in lines if fn+'(' in l))
    # balance braces after signature line opening brace
    body='\n'.join(lines[start:])
    first=body.find('{')
    depth=0; end=-1
    for idx,ch in enumerate(body[first:], first+1):
        if ch == '{':
            depth += 1
        elif ch == '}':
            depth -= 1
            if depth == 0:
                end = idx
                break
    blob=body[first:end+1]
    print(f"{fn}: emit_types_path={'emit_types_path' in blob}; compile_result_return={bool(re.search(r'\n\s*Ok\s*\(\s*CompileResult\s*\{', blob))}; has_return={len(re.findall(r'r\s*\(', blob))} direct return statements (including Err/println/other) = {len(re.findall(r'\breturn\b', blob))}")
runlines=run.read_text().splitlines()
for idx,l in enumerate(runlines,1):
    if re.search(r'\breturn\s+compile_for_.*widget|compile_for_wasm|compile_for_web', l):
        print(f"run_pipeline line {idx}: {l.strip()}")
PY